Nuprl Definition : squash 11,40
T == {:True| T}  
latex

DefinitionsT, True
FDL editor aliasessquash

origin